Python float built-in